generalized modus ponens

广义假言推理